$\forall$$l$:IdLnk, ${\it da}$:fpf(Knd; $k$.Type). es{-}dt($l$; ${\it da}$) $\in$ fpf(Id; ${\it tg}$.Type)